formalization相关论文
The FIPA specification of MAS (multi-agent system)is accepted by most of the applications of MAS in the world, and has b......
分布仿真实验管理系统摒弃了分布仿真系统传统的手工运行方式,实现了对仿真实验全方位全过程的管理,提高了实验的自动化程度和运行......
统一建模语言（UML）是目前广泛使用的一种面向对象建模语言，其图形化，半形式化的特点，使其缺乏精确的语义描述，模型之间容易出现不一致问......
In common sense reasoning two typical types of defaultsare encountered. One is of the form "All birds can fly except b1,......
分析了典型电力应急预案的内容和结构,提出了基于本体论的应急预案形式化方法,归纳出组织、事件、规则、措施、约束、资源等主要概......
形式化Z语言采用严格的数学理论可以有效提高软件的可靠性和鲁棒性,但是由于其包含的数学理论使得只有少数人能够熟练应用Z语言进......
软件对环境的依赖性主要体现在软件与环境的交互。在实际中,有时软件与环境未必成功交互。其交互程度对软件的性能有着很大的影响......
软件性能工程SPE是一种重要的性能分析方法，它将UML顺序图转化为执行图，进而分析软件的性能是否符合期望的指标。然而软件性能工程（SP......
采用一种基于构件技术和B方法的企业信息系统形式化需求分析方法,按照构件的思想对非形式化的需求分析进行形式化描述,可发现软件......
在统一建模语言(UML)规范中顺序图的语义是以自然语言的形式描述的,是一种半形式化的语言,不能对系统的交互行为进行形式化分析及......
形式化方法由于其简练、无二义性,在协议工程中有着重要的地位。首先对下一代超文本传输协议(HTTP NG)作了简单介绍,并利用基于时......
以HNC理论的概念基元符号体系与句类体系为基础,探索分析了汉语中单字动词组合处理的特点及其句类特征,总结形成了处理规则。在BNF......
随着PKI系统在企业中的广泛应用,企业并购活动中必然涉及原有多个PKI系统的整合问题。分析了现有的PKI系统整合方案,在此基础上结......
针对云物流系统中物流云服务的发现需求,依据本体论的基本原理和云物流系统中云服务和物流任务的特点,给出了物流云服务和云物流任......
法学话语具有明显的形式化特点，由于法学话语涉及现实世界，它与一般形式化系统有所不同，三段论在法学话语中的运用具有特殊性。形式化......
针对形式化方法与可视化方法的优缺点，本文提出形式化方法与可视化UML互补的建模方法，主要探讨用形式化方法验证UML模型，将UML模型转......
针对目前车辆路径问题（Vehicle Routing Problem，VRP）求解方法缺乏动态自适应能力这一缺陷，从面向问题的角度出发，研究车辆路径问题的形......
The FIPA specification of MAS (multi-agent system)is accepted by most of the applications of MAS in the world, and has b......
为面向对象建模概念建立坚实的语义基础，越来越受到人们的重视，通过提供精确的概念特征定义，可建立精确的面向对象的行为模型和结构模......
通过分析僵尸网络控制命令的语法结构特征，提出一种基于语法结构特征识别IRC僵尸网络控制命令的方法。该方法首先分析命令关键字和......
为了构建导弹武器系统执行战略反击使命的任务空间概念模型,保证模型的互操作性和可重用性,研究了任务空间概念模型的形式化描述,......
信任管理从网络环境安全和信任的真实需求出发,收集、分析、处理网络环境中的信任信息,并通过一些策略和方法,建立规则、模型、评......
安全协议的形式化验证与分析已成为国际研究的热点。本文应用BAN逻辑研究Needham-Schroeder对称密钥认证协议,指出该协议存在的安......
知识点关系是连接知识点的纽带。教学系统智能性体现的一个重要方面是能够根据知识点之间的关系组织教学内容。受学生学习知识的能......
本着提高数控仿真系统开发效率的目的,文中引入组件的设计思想;然后从控制组件粒度的角度,给出了层次化的系统体系结构;在此基础上......
文章对豆腐树种植过程中的引种、整地、选苗、栽种、肥水管理、采收和果胶含量测定等技术环节进行了研究,为豆腐树规模化种植提供......
交通事故的诱发因素包括人为、车辆本身、道路、环境等因素,对于已经存在的交通事故数据采用科学的分析方法进行整理、归集,对事故......
对当前科技查新报告的形式化问题进行研究，并对形式化问题产生的原因进行分析，提出由科技管理部门主导的新的科技查新管理模式。新的......
我国法学本科实践教学始终存在＂形式化＂现象,这种现象之所以存在,首先是因为我国法学本科课程设置机制具有明显的理论印记,限制了高......
两阶段提交协议是最简单且最常用的原子提交协议，该协议使分布式事务的提交具有原子性和持久性。在本文中，我们使用π演算对两阶段提......
通过分析程序设计语言L的特征,提出了一种能由语言L自动构造文法的算法,证明了在有限次递推后算法能结束的充分必要性.该算法根据......
在分析了知识的特点、已有地图综合知识分类和形式化描述的基础上,结合居民地地图的特点,提出了关于大比例尺居民地知识的分类和形......
设计模式对于程序开发以及软件工程都具有越来越重要的作用.充分利用设计模式,需要有效地描述设计模式,进而解决人和计算机同时能......
UML规范对于衍型这种扩展机制描述的不够清晰和严格,常被用户和研究者误用,并且也无法很好地支持可扩展的建模工具的开发.本文精确......
自2014年财政部推广PPP模式以来,政策制度不断完善,PPP项目落地数量持续增加。但是,由于我国运用PPP模式的时间不长,理论掌握与实......
站在日语教育的视阈下，通过对日语句群的形式化研究和讨论，以话语表现理论（DRT）为基础，构建了日语句群形式描写的程序，在日语语篇形式化......
形式化语言是表征数学知识的工具,它具有表征的科学性、高度的抽象性、表达的简洁性、涵盖的广泛性等特征.形式化语言的培养措施有......
[摘 要] 当前虚拟大学的构建往往是“以己为中心”的单中心生成,本文在对虚拟组织学理层面的探讨所得的虚拟组织生成的两种方式的......
论述了数学形式化与非形式化理论的概念、性质与作用，并阐明了在数学教育中必须坚持形式化与非形式化相结合的教育原理。......
统一建模语言UML是当前软件工程领域的研究热点,提供了多种图元从不同角度和应用层次刻画系统的特性以及复杂的运行环境,其中包括......
多Agent系统（MAS）中的组织在调节Agent社会方面已被证明是成功的。然而,Agent的行为或动态环境的改变可能导致系统意图的不良执行,所......
法治事业的进程要求法学话语形成自己独立的理论逻辑和学术品格,为法治国家建设提供理论支持.文章认为,自由理念是建构法学话语的......
提出了一种基于软件构件的ERP系统的形式化需求分析方法，它可以很好的消除ERP系统需求分析中的二义性和不一致性，大大提高了系统需求......
该文用时序逻辑语言 XYZ/ E刻画了若干种常见的体系结构风格 .在刻画风格之前 ,首先通过研究常见组件及连接方式间的关系分析了风......
应用一种Petri网扩展CNets，描述程序代码中所隐含着的数据与控制，分别给出了程序代码的数据视图和控制视图．在CNets规范的基础上，研究......
辨证法有本体论、认识论和辩论方法三个层面的原初语义。揭示和反映认识对象相反相成的矛盾属性是辩证法的精神所在，体现辩证精神的......
在详细分析联锁系统选岔电路的前提下,抽象出选岔网络的联锁逻辑条件,并采用有色Petri网（Colored Petri Net,CPN）为其建立形式化验证......
通过对比分析静态与动态二进制翻译系统，描述了基于机器状态的二进制翻译形式化模型。该形式化模型在实践上对于二进制翻译工程具有......
在分析了基于Web的网络考试系统需求的基础上，针对其具有多进程并发通讯的特点，采用π-演算对系统进行结构和功能的描述；在简单介绍π......
现代指数理论的形式化方法,对于处理指数问题的主要作用是:判别一个函数能否成为指数;厘清各种指数测验的层次及相互关系;构造新的......
